satisfiability problem
[网络] 可满足性问题；满足问题
热门查询
- bashfully adv. 羞怯地；易窘迫地；局促不安地
- needless adj. 不必要的，不需要的；多余的，无用的
- Lennie [人名] [苏格兰人姓氏] 伦尼住所名称，来源于盖尔语，含义是“沼泽”(bog,marsh)+地点后缀ach
- Martell [人名] [英格兰人姓氏] 马特尔 Martel的变体; [地名] [美国] 马特尔
- quadrille n. 四对方舞；四对方舞曲 adj. 有方格的；有小方格图案的
- twenty num. 二十 n. 二十；二十年代 adj. 二十的
- earthly adj. 地球的；尘世的；可能的
- summa n. 总结；总结性论文 n. (Summa)人名；(意、芬、葡)苏马
- referable adj. 可归因于…；可参考的；可交付的；可涉及的
- alluvium n. [地质] 冲积层，冲积土
- beckon vt. 召唤；吸引 vi. 吸引；（招手或点头）示意 n. 表召唤的点头；手势
- stored v. 储存；容纳（store的过去分词） adj. 储存的
- Horsley 霍斯利（姓氏）
- McKeown [人名] 麦基翁
- metropolis n. 大都市；首府；重要中心 n. (Metropolis)人名；(英)梅特罗波利斯
- warrant n. 根据；证明；正当理由；委任状 vt. 保证；担保；批准；辩解
- salaryman n. (日本白领工人等的)支薪族一员
- preventive n. 预防药；预防法 adj. 预防的，防止的
- blooming v. [植] 开花（bloom的ing形式） adj. 盛开的；妙龄的
- subsea adj. 海底的 adv. 在海底
